翻訳と辞書
Words near each other
・ Erastus Root
・ Erastus S. Prosser
・ Erastus Salisbury Field
・ Erastus Snow
・ Erastus Tjejamba
・ Erastus Uutoni
・ Erastus Wells
・ Erastus Wentworth
・ Erastus Wiman
・ Erastvere
・ Erasure
・ Erasure (album)
・ Erasure (artform)
・ Erasure (disambiguation)
・ Erasure (heraldry)
Erasure (logic)
・ Erasure (novel)
・ Erasure channel
・ Erasure code
・ Erasure discography
・ Erasure.Club
・ Erat
・ Eratasthelys
・ Eratasthelys corona
・ Erateina
・ Erateina julia
・ Erateina undulata
・ Erateina zoraida
・ Erateini
・ Erath


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Erasure (logic) : ウィキペディア英語版
Erasure (logic)
In mathematical logic, a logical system has the erasure property if and only if no subset of the propositions can be added to another subset of the propositions to refute a consequence.
For instance, if proposition A means "the store is open from 8:00 to 22:00" and proposition B means "except Tuesdays", the system AB does ''not'' have erasure.
== See also ==

* Monotonic logic in “mathematical logic”
* (Peirce's Logic ) at the "Stanford Encyclopedia of Philosophy"

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Erasure (logic)」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.